it has been proved that

adv.已经证明